;COM HLSAIF(37B,X)/COM↔  
;↓
;λ
;SAV HLSAIF↔

;COM HALSAI(37B,X)/COM↔
;↓
;λ
;SAV HALSAI↔

ru hlsaif↔
tcalc←tcalc↔
↓
λ
do fraid↔
tcalc↔
≠≠≠E↔

ru hlsaif↔
pass3/37b←pass3↔
↓
λ
do fraid↔
pass3↔
≠≠≠E↔

ru halsai↔
gobble←gobble↔
↓
λ
do fraid↔
gobble↔
≠≠≠E↔

;ru halsai↔
wldmod/37b←wldmod↔
↓
λ
do fraid↔
wldmod↔
≠≠≠E↔

ru halsai↔
exprs←exprs↔
↓
λ
do fraid↔
exprs↔
≠≠≠E↔

ru halsai↔
halprn←halprn↔
↓
λ
do fraid↔
halprn↔
≠≠≠E↔

;ru halsai↔ ****** WRONG *****
;ARITH←arith↔
;↓
;λ
;do fraid↔
;arith↔
;≠≠≠E↔

com pmatch/com↔
↓
com arith/com↔
↓
com halrec/com↔
↓

;r srccom↔
;gobble.dif←gobble.sai,gobble.sai[hal,rht]↔
;wldmod.dif←wldmod.sai,wldmod.sai[hal,rht]↔
;exprs.dif←exprs.sai,exprs.sai[hal,rht]↔
;λ